Unfold `top` 0